_require "./376_provide3.smi"
val y : int
